Co-Design of a Fault-Tolerant Communication Protocol—A Case Study
نویسندگان
چکیده
Hardware/software co-design is a design technology that supports the integrated development of hardware and software components of a system. A special focus of the work described here is the application domain of safety-critical embedded systems. In addition to the raised abstraction level and shortened design time offered by co-design relative to conventional design methods, we are therefore particularly interested in paradigms based on formal models. This paper gives a brief overview of a co-design case study based on an application typical for safety-critical applications. We compared two ways of designing embedded systems: STATEMATE, a commercial system design tool based on Statecharts, and POLIS/Ptolemy, with ESTEREL as a specification language. We describe our design experiences and give preliminary experimental results.
منابع مشابه
On Feasibility of Adaptive Level Hardware Evolution for Emergent Fault Tolerant Communication
A permanent physical fault in communication lines usually leads to a failure. The feasibility of evolution of a self organized communication is studied in this paper to defeat this problem. In this case a communication protocol may emerge between blocks and also can adapt itself to environmental changes like physical faults and defects. In spite of faults, blocks may continue to function since ...
متن کاملDistributed Embedded Safety Critical Real-Time Systems, Design and Verification Aspects on the Example of the Time Triggered Architecture
The Time Triggered Architecture (TTA) and its related communication protocol, TTP/C is an emerging communication principle for distributed fault-tolerant real-time systems. Typical applications are safety-critical digital control systems such as drive-by-wire and fly-by-wire. This paper highlights the hardware / software architecture and design of the first industrial single chip communication ...
متن کاملA New Design of Fault Tolerant Comparator
In this paper we have presented a new design of fault tolerant comparator with a fault free hot spare. The aim of this design is to achieve a low overhead of time and area in fault tolerant comparators. We have used hot standby technique to normal operation of the system without interrupting and dynamic recovery method in fault detection and correction. The circuit is divided to smaller modules...
متن کاملFault Tolerant Reversible QCA Design using TMR and Fault Detecting by a Comparator Circuit
Quantum-dot Cellular Automata (QCA) is an emerging and promising technology that provides significant improvements over CMOS. Recently QCA has been advocated as an applicant for implementing reversible circuits. However QCA, like other Nanotechnologies, suffers from a high fault rate. The main purpose of this paper is to develop a fault tolerant model of QCA circuits by redundancy in hardware a...
متن کاملDesign and Implementation of a Secure Group Communication Protocol on a Fault Tolerant Ring
In this paper, we describe a secure group communication protocol for a fault-tolerant synchronous ring. Our protocol, named Secure Synchronous Ring Protocol (SSRP), integrates a secure group communication facility into an existing scalable, fault-tolerant ring protocol. SSRP is a hierarchical group communication protocol that employs Cliques GDH contributory key management protocol and Diffie-H...
متن کاملA Middleware for Constructing Highly Available, Fault Tolerant, and Attack Tolerant Services
This paper describes the design of a middleware that provides support for constructing highly available, secure, fault-tolerant, and attack-tolerant services. The central component of this middleware is a group communication service that comprises of six network protocols: atomic broadcast, group membership, failure detection, attack detection, group access control, and secure intermember commu...
متن کامل